complexification of a real vector space - German English Dictionary